Embeddings in Topos Theory and HoTT

Published: February 12, 2018